YMPING AV STOPEJERNSMELTER = INOCULATION OF CAST IRON MELTSHENKE F.1980; STOPERITIDENDE; NOR; DA. 1980; VOL. 46; NO 5; 137-140, 142, 144, 146-148, 150-152, 154-156, 158; BIBL. 28 REF.Article

VARMEBEHANDLING AV STOPEJERN = HEAT TREATMENT OF CAST IRONHENKE F.1979; STOPERITIDENDE; NOR; DA. 1979; VOL. 45; NO 4; PP. 74-104; BIBL. 44 REF.Article

VERSCHLEISSBESTAENDIGE WEISSE GUSSEISEN. III = FONTES BLANCHES RESISTANT A L'USURE. IIIHENKE F.1973; GIESS.-PRAXIS; DTSCH.; DA. 1973; NO 3; PP. 52-56Serial Issue

VERSCHLEISSBESTAENDIGE WEISSE GUSSEISEN. I = FONTES BLANCHES RESISTANT A L'USURE. IHENKE F.1973; GIESS.-PRAXIS; DTSCH.; DA. 1973; NO 1; PP. 1-21Serial Issue

VERSCHLEISSBESTAENDIGE WEISSE GUSSEISEN. II = FONTES BLANCHES RESISTANT A L'USURE. IIHENKE F.1973; GIESS.-PRAXIS; DTSCH.; DA. 1973; NO 2; PP. 32-40Serial Issue

VERSCHLEISSBESTAENDIGE WEISSE GUSSEISEN. IV = FONTES BLANCHES RESISTANT A L'USURE. IVHENKE F.1973; GIESS.-PRAXIS; DTSCH.; DA. 1973; NO 4; PP. 69-74; BIBL. 63 REF.Serial Issue

DIE ANWENDUNG DER QUANTITATIVEN BILDANALYSE FUER DIE BEURTEILUNG DES REKRISTALLISATIONSZUSTANDES DES STAHLES 34CR4 NACH DER WARMUMFORMUNG = THE APPLICATION OF QUANTITATIVE IMAGE ANALYSIS TO THE ASSESSMENT OF THE DEGREE OF RECRYSTALLIZATION OF THE STEEL 34CR4 AFTER HOT-WORKINGZENKER R; HENKE F.1981; PRAKT. METALLOGR.; DEU; DA. 1981-03; VOL. 18; NO 3; PP. 120-131; BIBL. 13 REF.Article

EINFLUSS EINER HTMB AUF UMWANDLUNGSPRODUKTE UND MECHANISCHE EIGENSCHAFTEN VON FE-CR-C-LEGIERUNGEN. = INFLUENCE D'UN TRAITEMENT THERMOMECANIQUE A HAUTE TEMPERATURE SUR LES PRODUITS DE TRANSFORMATION ET LES CARACTERISTIQUES MECANIQUES D'ACIERS AU CHROMEZENKER R; HENKE F.1977; NEUE HUETTE; DTSCH.; DA. 1977; VOL. 22; NO 9; PP. 503-509; BIBL. 25 REF.Article

BEITRAG ZUM EINFLUSS AUSGEWAEHLTER TECHNOLOGISCHER PARAMETER BEI DER HOCHTEMPERATUR-THERMOMECHANISCHEN BEHANDLUNG AUF DIE MECHANISCHEN EIGENSCHAFTEN EINIGER STAEHLE = INFLUENCE DE PARAMETRES TECHNOLOGIQUES D'UN TRAITEMENT THERMOMECANIQUE A HAUTE TEMPERATURE SUR LES CARACTERISTIQUES MECANIQUES DE QUELQUES ACIERSHENKE F; ZENKER R.1977; NEUE HUETTE; DTSCH.; DA. 1977; VOL. 22; NO 6; PP. 352-355; BIBL. 15 REF.Article

Formal verification of algorithms for critical systemsRUSHBY, J. M; VON HENKE, F.IEEE transactions on software engineering. 1993, Vol 19, Num 1, pp 13-23, issn 0098-5589Article

Formal verification for fault-tolerant architectures: prolegomena to the design of PVSOWRE, S; RUSHBY, J; SHANKAR, N et al.IEEE transactions on software engineering. 1995, Vol 21, Num 2, pp 107-125, issn 0098-5589Conference Paper

Mechanical verification of clock synchronization algorithmsSCHWIER, D; VON HENKE, F.Lecture notes in computer science. 1998, pp 262-271, issn 0302-9743, isbn 3-540-65003-2Conference Paper

An extended residual-based variational multiscale method for two-phase flow including surface tensionRASTHOFER, U; HENKE, F; WALL, W. A et al.Computer methods in applied mechanics and engineering. 2011, Vol 200, Num 21-22, pp 1866-1876, issn 0045-7825, 11 p.Article

Variations of focal regions versus numbers and positions of sources in two-dimensional mediaHENKE, F. M; JOINES, W. T; SAMULSKI, T. V et al.International journal of hyperthermia. 2001, Vol 17, Num 5, pp 382-400, issn 0265-6736Article

Monocytes from systemic lupus erythematous patients are severely altered in phenotype and lineage flexibilitySTEINBACH, F; HENKE, F; KRAUSE, B et al.Annals of the rheumatic diseases. 2000, Vol 59, Num 4, pp 283-288, issn 0003-4967Article

Adam: An Ada based language for multiprocessingLUCKHAM, D. C; VON HENKE, F. W; LARSEN, H. J et al.Software, practice & experience. 1984, Vol 14, Num 7, pp 605-642, issn 0038-0644Article

ANNA: a language for annotating Ada programsLUCKHAM, D. C; VON HENKE, F. W; KRIEG-BRÜCKNER, B et al.Lecture notes in computer science. 1987, Vol 260, issn 0302-9743, V-143 pSerial Issue

Case studies in meta-level theorem provingVON HENKE, F. W; PFAB, S; PFEIFER, H et al.Lecture notes in computer science. 1998, pp 461-478, issn 0302-9743, isbn 3-540-64987-5Conference Paper

Formal verification of transformations for peephole optimizationDOLD, A; VON HENKE, F. W; PFEIFER, H et al.Lecture notes in computer science. 1997, pp 459-472, issn 0302-9743, isbn 3-540-63533-5Conference Paper

Magnetic resonance image guided thermal therapy with a radiofrequency phased arraySAMULSKI, T. V; JONES, E; HENKE, F et al.SPIE proceedings series. 1999, pp 124-128, isbn 0-8194-3064-1Conference Paper